This article points out problems in current dynamic treatments of anaphora and provides a new account that solves these by grafting Muskens' Compositional Discourse Representation Theory onto a partial theory of types. Partiality is exploited to keep track of which discourse referents have been introduced in the text (thus avoiding the overwrite problem) and to account for cases of anaphoric failure. Another key assumption is that the set of discourse referents is well-ordered, so that we can keep track of the (...) order in which they have been introduced, allowing a semantic characterization of anaphoric accessibility across stretches of discourse. Unlike other dynamic approaches, the system defines semantic values for unresolved anaphors. This leads to a clear separation of monotonic and non-monotonic content (in this case anaphoric resolution) and arguably provides a sound basis for a non-monotonic theory of anaphoric resolution. (shrink)

No philistine, Thorstein Veblen thought humankind's innate impulse to imbue experience with aesthetic unity advanced all knowledge, and that the most beautiful objects, ideas, and actions met a standard of communal benefit reflecting humanity's naturally selected sociability. Though German idealism was an early influence, it clashed with Veblen's historicist critique of Western institutions, and it was William James's psychology that refined his ideas into a coherent aesthetics with ethical and political applications, by clarifying how instinct, habit, and environment could interact (...) to institutionalize standards of beauty subverting the native altruism of the aesthetic impulse. Over years of association with John Dewey, Veblen concluded that a redeemed and reflective will to behold and create beauty in and through selfless activity could advance a more efficient and egalitarian society, and that humans cooperatively shaping their environments for the common good could approximate the German tradition's ideal of harmonizing personal freedom and external reality. (shrink)

Two principles form the basis for much priority setting in health. According to the greater benefit principle, resources should be directed toward the intervention with the greater health benefit. According to the worse off principle, resources should be directed toward the intervention benefiting those initially worse off. Jointly, these principles accord with so-called prioritarianism. Crucial for its operationalisation is the specification of the worse off. In this paper, we examine how the worse off can be defined as those with the (...) fewer lifetime Quality-Adjusted Life Years (QALYs). We contrast this proposal with several alternative specifications. (shrink)

This volume is a Norwegian/German collaboration lead by Trygve Wyller and Hans-Gunter Heimbrock.

In this paper I return to the mid-20th-century debate between Quine and Carnap on the status of metaphysics questions with an eye toward advancing contemporary debates about whether naturalists can coherently undertake substantive metaphysical inquiry. Following Huw Price, I take the debate between Quine and Carnap to hinge, in part, on whether human inquiry is functionally unified. However, unlike Price, I suggest that this question is not best understood as a question about the function(s) of descriptive discourse. This goes along (...) with rejecting a “linguistic conception” of the starting point of metaphysical inquiry, which, although shared by Quine and Carnap, Price gives us no good reason to think is mandatory for naturalists. I sketch two reasons naturalists have to reject a particular manifestation of this linguistic conception in Quine’s work—his criterion of ontological commitment. Finally, I show how these reasons can help us identify the grains of truth in some recent critiques of “mainstream metaphysics of mind.”. (shrink)

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

Through an extended ethnography of a sports team of boys growing from 7 to 11 years old, I explore Norwegian parents' anxieties about the digital world encroaching on their children's lives. I compare parents' monitoring of their children's (non)digital leisure activities with how kids interact (non)digitally. On the surface, as parents observe how their children's bodies move from screens to sports, they see their kids' attentive hands shifting focus from electronic gaming and screen swiping to a more welcomed ballplaying and (...) high‐fiving with nonelectronic teammates. However, close inspection reveals that my interlocutors never completely enter or leave the digital, but dwell within both worlds simultaneously. The result shows the meaning of children sports as changed by the digital, how the digital appears in the foreground or the background of our interactions, and how an emphasis on attentive hands can help unearth how the digital passes through us to constitute our lifeworlds. (shrink)

In this essay I respond to critical readers of my book, William James and the Quest for an Ethical Republic. I argue that James’s ultimate preoccupations are ethical, and that his ethical and moral writings constitute a rich resource for pluralistic societies seeking democratic tools for negotiating deep ideological, cultural, and religious differences, and for building a thriving commons.

Few remember Thorstein Veblen (1857-1929) as a connoisseur of beauty or champion of beauty’s importance to an institutionally modern and technologically sophisticated society. Similarly few credit Veblen with any constructive theory of politics. Yet Veblen’s conception of the beautiful, his account of its role in human cultural evolution, and his critique of its perversion in the industrialized societies of the nineteenth and early twentieth centuries are invaluable to contemporary social-aesthetic aims of political and economic reconstruction. In contrast to the Veblen (...) of memory, the real Veblen devoted significant intellectual energy to building a theory of what political thinkers today call public work: creative, negotiated, open-ended production of shared goods by individuals alert both to self-interest and collective needs. Partaking of the rich tradition of philosophical pragmatism, Veblen's social aesthetics also points to that tradition's continuing value for contemporary aesthetic, social, and political theory. Indeed, further augmented by recent advances in cultural evolutionary theory, Veblen’s pragmatist, public-work aesthetics suggests a vision of democratic citizenship defined by cooperative imagination, production, critique, and re-creation of a moral and material commonwealth. The so-called “bard of savagery,” therefore, is better understood as a “bard of democracy,” narrating the travails and affirming the ideals of a culture aspiring to self-government. His is a vision that might lend the fragmented field of social aesthetics a common, compelling narrative of its own. (shrink)

The ethical origins of James's pragmatism -- Religion and the refinement of James's pragmatism -- The ethical republic -- Citizen James -- Legacies and prospects.

In the 12th century the "Book of the Soul" by the philosopher Avicenna was translated from Arabic into Latin. It had an immense success among scholastic writers and deeply influenced the structure and content of many psychological works of the Middle Ages. The reception of Avicenna's book is the story of cultural contact at an imipressively high intellectural level. The present volume investigates this successful reception using two approaches. The first is chronological, tracing the stages by which Avicenna's work was (...) accepted and adapted by Latin scholars. The second is doctrinal, analyzing the fortunes of key doctrines. The sense of the original Arabic text of Avicenna is kept in mind throughout and the degree to which his original Latin interpreters succeeded in conveying it is evaluated. (shrink)

It has been common in contemporary logic and philosophy of logic to identify the validity of an inference with its conclusion being a (logical) consequence of its premisses.

In lieu of an abstract, here is a brief excerpt of the content:William James’s Ethical RepublicTrygve ThrontveitFor William James (1842–1910), all philosophical problems were ultimately ethical. In Pragmatism (1907), James invoked the logical theory of his friend Charles Peirce to argue that the “meaning” of any belief consisted solely in “what conduct it is fitted to produce.” There was “no difference in abstract truth,” he elaborated, “that doesn’t express itself in a difference in concrete fact and in conduct consequent upon (...) that fact, imposed on somebody, somehow, somewhere, and somewhen.” Indeed, James concluded that truth was not just reflected in the consequences of conduct but shaped by them: “Truth is made,” he wrote, “just as health, wealth, and strength are made, in the course of experience.”1 This major thesis of Pragmatism distilled a career spent describing an unfinished world, in which human thoughts and actions made differences for which thinkers and actors were responsible. As early as 1878, James insisted that beliefs imply action to advance goals, creating effects valued in light of those goals. The mind, he reiterated in his 1890 masterpiece The Principles of Psychology, is a “fighter for ends,” and thinking, a “moral act.” Later, in “The Will to Believe” (1896), James argued that when evidence is inconclusive, belief might create conditions in which hypotheses could be verified and potential goods realized—or lost. That frank (if often overlooked) assessment of the moral risks as well as rewards of intellectual life echoed James’s most explicitly ethical work, “The Moral Philosopher and the Moral Life” [End Page 255] (1891), where he asserted that when choosing what to believe, it is “simply our total character and personal genius that are on trial; and if we invoke any so-called philosophy, our choice and use of that also are but revelations of our personal aptitude or incapacity for moral life.”2In short, James, as John Dewey elegized in 1910, “was everywhere and always the moralist.”3 Yet for much of the twentieth century critics deemed James’s philosophy ethically vacuous, a warrant for moral solipsism. In 1909, Bertrand Russell criticized James for privileging belief over suspension of judgment, and thus encouraging people to live in private moral universes rather than seek objective grounding for common values. Today, some intellectual historians continue to echo Russell and likeminded contemporaries, judging ethical pragmatism tantamount to moral relativism, even moral apathy.4 Others, acknowledging James’s impassioned pronouncements on lynching, industrial conflict, imperialist expansion, and other public moral issues, have interpreted them as expressing a particularly cosmopolitan but otherwise unremarkable American liberalism, rather than a coherent moral philosophy.5These criticisms are unfounded, but understandable. They reflect a general [End Page 256] antipathy toward James’s broader conceptions of knowledge, truth, and experience, and frustration with his unorthodox mode of philosophizing. In Pragmatism, James followed Peirce in arguing that beliefs are not copies of reality, but “rules for action” resembling the probabilistic predictions guiding scientific inquiry. James, however, extended Peirce’s argument, claiming there is no static reality that beliefs can once-for-all describe. A self-proclaimed “radical empiricist,” James held that the universe is pluralistic, and the only reality accessible to human minds is constantly changing—not least through the ceaseless flux of human consciousness, a fact as natural and consequential as any other.6 This blurring of subject-object distinctions scandalized contemporaries. It also underpinned James’s equally scandalous claim that ideas not only demonstrate their meaning through conduct, but derive both meaning and value from their origins and verification in human activity. To ask what is true in such a world was to ask which ideas, moral or otherwise, allow people to navigate it successfully—which “carry us prosperously from any one part of our experience to any other part”—and which do not.7 Because of these commitments James never made hard distinctions between ethics and other branches of inquiry, or defined his ethics as a separable component of his philosophy easily analyzed on its own terms. Meanwhile, his further refusal to dislodge theory from practice has frustrated those conceiving ethics as a logically and temporally consistent program of conduct. Instead, James insisted that ethical principles emerge organically from individuals’ collective experience in... (shrink)

The traditional picture of logic takes it for granted that "valid arguments have a fundamental epistemic significance", but neither model theory nor traditional proof theory dealing with formal system has been able to give an account of this significance. Since valid arguments as usually understood do not in general have any epistemic significance, the problem is to explain how and why we can nevertheless use them sometimes to acquire knowledge. It is suggested that we should distinguish between arguments and acts (...) of inferences and that we have to reconsider the latter notion to arrive at the desired explanation. More precisely, the notions should be developed so that the following relationship holds: one gets in possession of a ground for a conclusion by inferring it from premisses for which one already has grounds, provided that the inference in question is valid. The paper proposes explications of the concepts of ground and deductively valid inference so that this relationship holds as a conceptual truth. Logical validity of inference is seen as a special case of deductive validity, but does not add anything as far as epistemic significance is concerned—it resides already in the deductively valid inferences. (shrink)

What is the appropriate notion of truth for sentences whose meanings are understood in epistemic terms such as proof or ground for an assertion? It seems that the truth of such sentences has to be identified with the existence of proofs or grounds, and the main issue is whether this existence is to be understood in a temporal sense as meaning that we have actually found a proof or a ground, or if it could be taken in an abstract, tenseless (...) sense. Would the latter alternative amount to realism with respect to proofs or grounds in a way that would be contrary to the supposedly anti-realistic standpoint underlying the epistemic understanding of linguistic expressions? Before discussing this question, I shall consider reasons for construing linguistic meaning epistemically and relations between such reasons and reasons for taking an anti-realist point of view towards the discourse in question. (shrink)

The European Council called for a period of reflection in each of the member states of the European Union (EU) after the people of France and the Netherlands rejected the Constitutional Treaty in referendums in 2005. The present article offers a contribution to this process by reflecting on the prospects for institutional design and redesign in the EU, a topic that became even more relevant after the Irish ?no? to the Lisbon Treaty in June 2008. The discussions are based on (...) a historical perspective, and the article discusses what lessons can be drawn from Jean Monnet, viewed as an institutional designer on the European stage. The article argues that the successful establishment of the European Coal and Steel Community (ECSC) was a product of a robust deontological design in a constitutional moment for Europe, and that prospective designers in the EU can learn important lessons from how Monnet identified and exploited available spaces for institutional design. (shrink)

Was Løgstrup fascinated by National Socialism in Germany? Did Løgstrup become a personalist in France? Did Løgstrup become a logical positivist in Vienna? Did Løgstrup become organic in Germany in the 1930s? Questions like these are ones that Hans Hauge wants to answer in his new book about the theologian and thinker K.E. Løgstrup. In the book, Hauge describes many of the both known and unknown people Løgstrup met during his study stays around Europe, mostly in Germany in the 1930s (...) and 1940s. Hauge writes in this book not about what Løgstrup thought, but about where he did it, and who he thought with and thought about. (shrink)

We study the logical and computational properties of basic theorems of uncountable mathematics, including the Cousin and Lindelöf lemma published in 1895 and 1903. Historically, these lemmas were among the first formulations of open-cover compactness and the Lindelöf property, respectively. These notions are of great conceptual importance: the former is commonly viewed as a way of treating uncountable sets like e.g. [Formula: see text] as “almost finite”, while the latter allows one to treat uncountable sets like e.g. [Formula: see text] (...) as “almost countable”. This reduction of the uncountable to the finite/countable turns out to have a considerable logical and computational cost: we show that the aforementioned lemmas, and many related theorems, are extremely hard to prove, while the associated sub-covers are extremely hard to compute. Indeed, in terms of the standard scale (based on comprehension axioms), a proof of these lemmas requires at least the full extent of second-order arithmetic, a system originating from Hilbert–Bernays’ Grundlagen der Mathematik. This observation has far-reaching implications for the Grundlagen’s spiritual successor, the program of Reverse Mathematics, and the associated Gödel hierarchy. We also show that the Cousin lemma is essential for the development of the gauge integral, a generalization of the Lebesgue and improper Riemann integrals that also uniquely provides a direct formalization of Feynman’s path integral. (shrink)

Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.

This report by the WHO Consultative Group on Equity and Universal Health Coverage addresses how countries can make fair progress towards the goal of universal coverage. It explains the relevant tradeoffs between different desirable ends and offers guidance on how to make these tradeoffs.

According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...) this notion. Another main part of the paper is concerned with a modification of this notion as it occurs in Michael Dummett’s book The Logical Basis of Metaphysics. The two notions are compared and there is a discussion of how they fare as a foundation for a theory of meaning. It is noted that Dummett’s notion has a simpler structure, but it is argued that it is less appropriate for the foundation of a theory of meaning, because the possession of a valid argument for a sentence in Dummett’s sense is not enough to be warranted to assert the sentence. (shrink)

We investigate the connections between computability theory and Nonstandard Analysis. In particular, we investigate the two following topics and show that they are intimately related. A basic property of Cantor space$2^ $ is Heine–Borel compactness: for any open covering of $2^ $, there is a finite subcovering. A natural question is: How hard is it to compute such a finite subcovering? We make this precise by analysing the complexity of so-called fan functionals that given any $G:2^ \to $, output a (...) finite sequence $\langle f_0, \ldots,f_n \rangle $ in $2^ $ such that the neighbourhoods defined from $\overline {f_i } G\left$ for $i \le n$ form a covering of $2^ $. A basic property of Cantor space in Nonstandard Analysis is Abraham Robinson’s nonstandard compactness, i.e., that every binary sequence is “infinitely close” to a standard binary sequence. We analyse the strength of this nonstandard compactness property of Cantor space, compared to the other axioms of Nonstandard Analysis and usual mathematics.Our study of yields exotic objects in computability theory, while leads to surprising results in Reverse Mathematics. We stress that and are highly intertwined, i.e., our study is holistic in nature in that results in computability theory yield results in Nonstandard Analysis and vice versa. (shrink)

I see the question what it is that makes an inference valid and thereby gives a proof its epistemic power as the most fundamental problem of general proof theory. It has been surprisingly neglected in logic and philosophy of mathematics with two exceptions: Gentzen’s remarks about what justifies the rules of his system of natural deduction and proposals in the intuitionistic tradition about what a proof is. They are reviewed in the paper and I discuss to what extent they succeed (...) in answering what a proof is. Gentzen’s ideas are shown to give rise to a new notion of valid argument. At the end of the paper I summarize and briefly discuss an approach to the problem that I have proposed earlier. (shrink)

This article explains and discusses the relationship between traditional legislative processes and the development of automated government decision-making systems. The juridical aspects of systems development should be regarded as invisible quasi-legislation. The author investigates and discusses possible ways of changing the legislative process with a view to increasing and improving political involvement in processes today often regarded as mere implementation, and thereby safeguard that important parts of the law of our computerised society is situated in the public domain.

We characterize the generalized quantifiers Q which satisfy the scheme $QxQy\phi \leftrightarrow QyQx\phi$ , the so-called self-commuting quantifiers, or quantifiers with the Fubini property.